Continued work on implementing the parser and type checking