dimensions-0.3.1.0: Safe type-level dimensionality for multidimensional data.