Data-model for convergence.

It turns out we can't use a Set for this, since we may have equivalent CreateServer instances that must appear multiple times in the steps.