Text this: The Structure of Typed Promming Languages