added congruence module
0.10.5