Add built-in support for Church-encoded numerals