Seol mar théacs é seo: Types and consistency in combinatory algebras /