Add a contracted version of church numerals for Python