two helper functions

They should simplify [Congruence.add_eq]. (I noticed that I get dizzy
when I start reading that code after a few days: a good sign it should
be simplified.)

Also, one more test (via Jules).