RustyTools.SymbolTable added, and some improvements to cloneOneLevel