I think I settled on that precedence largely for an artificial reason
related to the grammar, which may no longer apply now that we do more
two-phase parsing. Therefore, I'd be willing to switch. The only
example I have of where the current order is nice is
x -> x :: x -> x
which is, of course, a gimmick.
Geoffrey