Add typed term
Introduce type to parser and lexer
Add boolean value (bool_ to parser and true, false token to lexer)
Add boolean value to untyped lambda calculus
Add typechecking.
Add erasure function.
Commit Simple Typed Lambda Calculus