More work on the church encoding section.