new interface for Substs, only working on ScopedTerm