recognize transpose, ctranspose and multiplication by a scalar in mtimes

Which this commit, we end up with an mtimes node with 6 children.
It works as expected, but I'm not sure the design is the best.