Add church numeral arithmetic