Text this: Type-Logical Syntax