Added a demo for church numerals in LFE.
Merge pull request #28 from oubiwann/church-encoding

Church encoding