Text this: A Rewriting View of Simple Typing