Added line wrap.
More work on Church arithmetic.