simplify interface for De Bruijn in ScopedTerm;
more compact implementation using iterators