Added small embedding of lambda calculus.