Introduce the SymbolTable to store variable type information.