Added uml diagrams

lambda_calculus.mdj (unfinished)
models.mdj (unfinished)