Note that symbol table is a different object now than the previous binding table that was used for type-checking. That binding table is not currently debugged and should be debugged in a separate debug output with typechecking proper.
I'm proably gonna want to redo the symbol table stuff after reading Language Implementation Patterns, esp. to accomodate scopes
