Added shorcuts to type constructors.
Literals are now typed.
Expressions are now typed. Added bindings.
Added semi colon and left arrows to the lexer.