add church-numeral decrementer