Type-theoretical grammar | lit.salon