See comments

Entered/exited scopes
Made update symbol table changes that we actually need to undo