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