Type Alias SameDimension<A, B, Op>

Asserts both dimensions are equal at the type level. Resolves to the shared dimension if equal, or a readable error if not.