Fix an infinite loop in row unification.
Fix an infinite loop in row unification.

Instead of checking equality after zonking, the row unification checked
equality BEFORE zonking, which could lead to infinite loops in which
we repeatedly try to unify two things that we already know are
identical.

google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang