> I understand the motivation, but this is not the way to go about it. There's now a new scope all over the place (the set of refinements applied to any given c

> I understand the motivation, but this is not the way to go about it. There's now a new scope all over the place (the set of refinements applied to any given class). This means that the behavior of any given class now can depend heavily on context. The current behaviour makes the scope global, and one would simply overwrite the methods of the other, surely that is a worse thing, no?