Returns a fresh scope sharing this one's unificator, theoryFactory and solverFactory but a brand-new, empty Scope.