Added parser and began typechecker