Church typed-lambda calculus Incorporated some features of