Exercise 1.10

The Great and Terrible Ackermann's function