Add Ackermann function definition
Finish all Ackerman special cases, except h. What is h?