lambda calculus support.