Church encoding

Added an example for the encoding of church numerals in LFE, converting these to integers, etc.

This is the code that was used when writing portions of this section of the new user guide:
  http://lfe.github.io/user-guide/recursion/5.html