Church `toInt` is stack-limited

[JohanWiltink]

With call by need, decoding large(r) numbers now overflows the stack.

Frankly, I don't give a crap, but it's possible in time to count to numbers that will overflow the stack, and it might be not too hard to fix.