Title: Types and consistency in combinatory algebras