Church numerals

Operation with Church Numbers