Lift 4-dimension limit on arrays

[fangism]

Currently, instances and parameter collections are internally limited to 4-dimensional arrays. There's no good reason for this anymore, when we have the data structures to support arbitrary N-dimensions. We can still keep scalar collections (0-dimension) as a specialization.