Problem is we don't have any mechanism to claim commutivity or not of the fields beneath MatrixExprs.  This is handled in the core via old assumptions.  MatrixExprs don't use old assumptions.

Leaving this out results in elements being handled non-commutatively.  This is bad.  We don't have a mechanism to select yet.  I'd prefer to make the default commutative.