SortAndGroupFactors​(AngouriMath.​Entity,​AngouriMath.​Functions.​TreeAnalyzer.​SortLevel)

The factors of a product sorted and grouped, unless one of them is a transpose, which is a matrix: matrices do
not commute, and AᵀA is not AAᵀ. The product is then left in the order it is written, its other factors
included, since a name beside a transpose may stand for a matrix too; a name carries no type to say which
(https://github.com/asc-community/AngouriMath/issues/1237).
https://github.com/asc-community/AngouriMath/issues/2147