In my previous post I neglected to mention that
const is already used as a basis for overload resolution
in exactly the way I suggested, but only to differentiate
among sequences that involve only trivial conversions.
I'm wondering if that can't be extended to include the
standard conversions as well.

Daniel