Implemented Church numerals