Added a demo for church numerals in LFE.