Rename SymbolTable to TypeEnv.

Functions and data structures of SymbolTable are type-checker specific.