Proposal/Question for XMLSchema-instance schema

Hi all,

looking at the schema for the XMLSchema-instance namespace I found that the
contained attributes are all of type "anySimpleType":

 <xs:attribute name="nil"/>
 <xs:attribute name="type"/>
 <xs:attribute name="schemaLocation"/>
 <xs:attribute name="noNamespaceSchemaLocation"/>

Wouldn't it be better if they were typed?

 <xs:attribute name="nil" type="xs:boolean"/>
 <xs:attribute name="type" type="xs:QName"/>
  <xs:attribute name="schemaLocation">
   <simpleType>
     <list itemType="xs:string"/>
   </simpleType>
 </xs:attribute>
 <xs:attribute name="noNamespaceSchemaLocation" type="xs:string"/> <!-- or
xs:anyURI -->

Maybe this would make validation a little bit easier because then these
attributes could be validated like normal attributes.

--Stefan