in ScopedTerm, a field 'kind' to be used for
quick classification of terms (into type/term/formula...)