Anfonwch hwn fel neges destun: Types and consistency in combinatory algebras /