Fixtype of definition statuses for validation.
This is a tagged union type, introduced by fty::deftagsum.
This applies to objects and functions, which may be undefined, defined, or tentatively defined [C:6.7/5] [C:6.9.2], with the latter actually only applying to objects, not functions.