Added lambda abstraction to the expression calculus.