testing, counting, & arithmetic in general

[Scott Schwartz <schwartz@galapagos.cse.psu.edu>]

You've got first class functions---that's all you need to implement
church numerals, so you're all set.  :-)