Text this: Typed Lambda Calculi and Applications