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