DefaultSymbolTable is a data now
No longer a pair. It's underlyng type is SimpleSymbolTable