Add uml diagram for lambda calculus.

With classes LambdaTerm, LambdaAbstraction, LambdaApplication, Variable.