Add a (useless atm) church-numerals example

Signed-off-by: Ricky Elrod <ricky@elrod.me>
Use new syntactic sugar in churchnums example

Signed-off-by: Ricky Elrod <ricky@elrod.me>