[REQ] Matrix/tensor transposition using the `.T` convention

[yhtang]

Is your feature request related to a problem? Please describe.
I believe this was once implemented in our tensor expression language, but somehow got dropped out during the redesign of the interpreter workflow. It seems that being able to express calculations like A.T @ A would still be convenient and more readable than A[k, j] * A[i, j] for many cases.

Describe the solution you'd like
Allow the .T property of a tensor expression to denote an indexless transposition operation that inverts the order of the dimensions that it has.

Additional context
Need to check what the convention for transposing high-order (>2) tensors is. I believe it is to invert the sequence of axis.