I agree that the MR is a pain. I think it stems from the days when
classes were introduced to fix the + problem, and there wasn't much
use perceived beyond that. Now we find that some type declarations
contain more class info than type!!
I think the MR and the default mechanism are both hacks that were
introduced to serve a purpose. Few people love them, but I also
suspect that few people think they serve no useful purpose at
all. What we need is a general solution to managing classes and
ambiguity, and then hopefully we can dispense with the hacks.
John.
