added [Congruence.strict_invariant]

this is what we (i.e., Rasmus and I) plan to establish in
[Congruence.sanitize]

(plans may change :P)