I've merged type-safe dimensions for matrices which I've prepared some time ago: https://github.com/mipt-npm/kmath/blob/dev/examples/src/main/kotlin/scientifik/kmath/structures/typeSafeDimensions.kt. It is in separate module and is more like a toy example for now. I need more use cases to understand what other wrappers are needed.