Add typed lambda calculus