cache De Bruijn closedness in ScopedTerm (for fast checking)