Equivalence as a congruence #560

I propose that in the second edition, we state the result of exercise 2.17(i) in section 2.6, and similarly for the analogous statements in sections 2.7, 2.9, and 2.12. We could still leave the proofs to an exercise, however.