Church

Long story short: on Linux I had pandoc v1.10.0.? instead of v1.11. After upgrading, my issues with four backticks have thus been solved. More importantly, `ghci anatomy.lhs` works!

This pull request has content filled in for Church Numerals *and* a couple fixes for the makefile. A more detailed description is in the commit messages.