Add `Nat_iter_add`.

8 jobs for master in 14 minutes and 3 seconds (queued for 1 second)