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

(but thanks to the power of free software, this has been fixed already!)