Add a failing test on church numerals