Complete Lexer, Parser, Type Checking

Complete Lexer, Parser, and Type Checking