Introduce congruence preliminaries section and write paragraph about currying