Add LambdaTerm controller
Add/ update uml diagrams