Semi-working commit.
IPA sem equality: congruence reduction works, clean up is needed.
IPA sem equality: congruence group merging finalized.