Add a church numeral test