Don Box writes on “XSD as a type system”