Updated lambda calculus uml class diagram

for compatibility with memento design pattern
Add basic structure for functional specification

Using Latex