add Church Numeral examples