Add cons for lambda calculus.