Introduced SymbolTableResolver type