Add Church numerals