Anfonwch hwn fel neges destun: Type-Logical Syntax