identity, booleans, naturals, successor, add, exp
Merge branch 'master' of https://github.com/scottwakeling/church-encoding
First push