I realise, though, I might have to justify agreeing with
extensions to WXS / XSD when I was only this month
profering a slimmed-down 'MicroXSD'. Maybe there is
a need for conformance profiles as seen in OWL - a 'lite'
profile, a powerful-but-doable profile and a 'full' profile.
The suggested extra abstraction feature of types without
the agregation of concrete elements but with a more
abstract agregation of other types (albeit some called
'crossProducts' - perhaps for backwards compatibility)
might belong in either a powerful-but-doable profile or
a 'full' profile depending on the difficulty of incorporating
the feature into existing tools. [Perhaps something like
'MicroXSD' could then provide the 'lite' profile.]
Best regards
Stephen D Green