Ideally, we would be able to push new elements to the array in O(1) amortized time. One open question is what the diffs would look like.