Best solution would probably be to make the index type another template parameter, to allow arrays to continue to be compact in memory when desired.

We may want to switch the Index typedef to this value, then, and use IndexVector to indicate a Vector<Index>. This would be a fairly large, backwards-incompatible change, even if we make int the default for the template parameter.