hashconsed functor for ScopedTerm (formerly Scoped);
Data module to store additional stuff in terms