module Scoped, for a generic representation of terms/types with De Bruijn indices
that does no hashconsing but still provides many useful functions;
should be used after parsing as an intermediate format.