Merged TypeChecking, added to SymbolInfo, SymbolTable