Text this: Type-theoretical grammar /