Previously we'd just reject comparisons of points with different curves.
Instead, support comparing curveless points with curvy ones by just
comparing the points coordinatewise.
Unfortunately, to make equality be transitive, this means permitting
comparisons between points on different curves, which is unpleasant.