How to count:
0 ≡ λsz.z
S ≡ λwyx.y(wyx)
S0 ≡ (λwyx.y(wyx))(λsz.z)
λyx.y((λsz.z)yx)
λyx.y((λz.z)x)
λyx.y(x) ≡ 1
S1 ≡ (λwyx.y(wyx))(λsz.s(z))
λyx.y((λsz.s(z))yx)
λyx.y((λz.y(z))x)
λyx.y(y(x)) ≡ 2