Text this: Types in Compilation