I've only changed `x OP y` with x `&T` instead of `T` where `T` is a generic type param with the operator overload in its trait bounds, and it wasn't to fix that bug, but prevent nasty recursion in autoderef.

I guess I should fiddle with the lookup code some more to deny more forms, as this is likely to also affect autoderef.