align defn of ackermann function with wikipedia, close #360