succ=\n.\f.\x.f((nf)x)

Meh. A lot of work to do. And playing Skyward Sword. So: Not many links this time again.