Define an order for allMembers traits

[Walter Bright]

On 8/23/2023 2:17 PM, Timon Gehr wrote:
> Well, it refers to the class version and I think it is clear that it must be 
> ordered.

Yes. It is written the way it is because I was writing a lot of text in the spec 
and didn't want to repeat things.

Another problem with repetition is the texts will inevitably diverge, and then 
the poor reader wonders why they are different.