Back-patch code to deduce implied equalities from transitivity of

Back-patch code to deduce implied equalities from transitivity of
mergejoin clauses, and add these equalities to the given WHERE clauses.
This is necessary to ensure that sort keys we think are equivalent
really are equivalent as soon as their rels have been joined.  Without
this, 7.0 may create an incorrect mergejoin plan.