Text this: Type-logical semantics