Data Model: inconsistency, request for simplification
Section 2.5. states that anonymous types can have an identifier that
is not a Qname, while this seem to be inconsistent with the rest of the
document.
(the signature of the type() accessor is always an optional Qname).
We should simplify the data model and request the name of a type (even
anonymous) to be a legal Qname.