Experimenting with Y. Hinting Church sum generation.