Anfonwch hwn fel neges destun: Argumente für eine Typenidentität von Eigenschaften