- add a printer for the symbol table - add error contexts to type pass
- add compilation context and basics of type solver