Update Church Numerals.