Update article on church-numerals a bit.