Made Numeric.Peano.natLength tail-recursive.