Slightly simplified grammar
Polished lexer
Fixed minor errors in lexer and parser
Added basic executable to type-check and normalize programs
Polished command line output