Text this: Rewriting and Typed Lambda Calculi