Fixed creation of equalities in WeakCongruencePath.  If an EqualityProxy generated a LAEquality, but no corresponding CCEquality, we crashed with an InternalError instead of constructing the correct CCEquality.