Removing SymbolTableBuilder#Proxy because I trust developers are adults and won't cast a SymbolTable to SymbolTableBuilder (: