Added sections for more Church encoding stuff.