Continued work on the type checker