Iteration 2-theories