Provide a way to declare variables to be of vector or matrix type (with the consequence of being non-commutative in multiplication and a corresponding markup (like an overarrow or boldface typesetting or an underscore)
This would avoid symbolic simplifications which are valid only for scalar variables, see attachment.