More work on the typechecker symbol table.