Anfonwch hwn fel neges destun: Efficient Local Type Inference