The type of shape, fixing the type of state
One entry for each value state holds under a property shape declares
TraceError Where state doesn't conform to shape, where a deferred
definition reaches itself with no link to break the cycle, where it states a target that doesn't narrow the one
the link it is reached through overrides, or where a union range declares a shared member name inconsistently
Retrieves the values of a state.
Each value comes as an Entry typed by the value shape it matches. Entries follow member declaration order, then value order within each member. The id and type members are not values and produce no entry.