Text this: Types and programming languages