made matrix simplificaiton a priority in evaluation.  made multiplication compare non-commutative objects correctly (only Matrices atm)