use ScopedTerm.kind in Type