Added Lianne's main stuff back into semanalyze, modifying it to deal with our new symbol table structure -- HAS NOT BEEN TESTED