Initial commit of old draft of lambda calculus.
Made the syntax hopefully a bit easier to understand.
Added a calculator language, and implemented up to the semantics.
Have initial draft of the calculator semantics.