Changed symbol table structure slightly as part of transitioning type-checker to being fully dependent on it.