Staged Ackermann

Partial evaluating the Ackermann function.