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