Currently the enumeration Kind (as returned by ElementDescriptor#getKind()) is an inner enum of the ElementDescriptor interface.

In order to allow for its future re-use in other contexts, independent from element descriptors, it seems reasonable to make this a top-level type. Unfortunately the natural names, ElementKind and ElementType are taken by JDK types, and if possible we should avoid a collision with these. Candidates are

* ConstrainedElementKind

* ValidatedElementKind

Any preferences or other suggestions?

Thanks,

--Gunnar