Good points. Thanks, they made my rethink. In my case, I need to detect if a class definition has changed, to announce it. The order looks like important here. I agree with Jan that if somebody reorders the trait composition of a class definition, this should be considered as a change. So, even the simple A + B = B + A should be false.
If you want, we can implement this equality with other selector than #=, but I think this is the right criteria. MartÃn
