In Data Model Section 6.2.4, Element Node--Construction from a PSVI, under the 
subheading "Typed Value", there is a bulleted list of cases. These cases are 
presumably meant to be mutually exclusive. All the bullets but #2 are phrased 
in terms of the element type (presumably referring to the "type-name" property 
defined earlier in the section.) But bullet #2 says "If the element is empty, 
its typed-value is the empty sequence", which refers to the content of the 
element rather than its type. This is inconsistent and incorrect. For example, 
if the type of the element is a complex type with element-only content, then 
its typed value is undefined, regardless of whether it is empty or not.

Proposal: Replace bullet #2 in the above-referenced section with the 
following: "If the element has a complex type with empty content, its typed-
value is the empty sequence."

This proposal will make the Data Model document consistent with the XQuery and 
XPath documents, Section 2.5.2 (Typed Value and String Value).