Type-theoretical grammar /