The exposition-only transpose-extents function
takes an extents object representing the extents of a matrix,
and returns a new extents object
representing the extents of the transpose of the matrix.
The exposition-only alias template
transpose-extents-t<InputExtents>
gives the type of transpose-extents(e)
for a given extents object e of type InputExtents.