For some reason, certain inputs seem to cause `toInt` to fail when it is converting from `Church 1`. To recreate: run `pow = \ a b . b a` and then test with `assert.numEql(pow(0)(0), 1)`. I believe it is because it evaluates to `id`, which *is* Church `1`, and yet somehow messes up the converter.