More congruence rules

But the pair_cmp_cong one doesn't seem to work...