Expand dtypes to handle matrices

[liamhuber]

There is no Matrix DType, only 1D List types. This is the biggest weakness, but the solution in broad strokes is pretty clear: introduce a new dtype for matrices with a dimensions field, and then have the current List be a special dimension=1 case for this.