A Course in Tame Congruence Theory