Text this: A Step-indexed Semantics of Imperative Objects