is_commutative: replace isinstance with subclass

Muls were not identifying as commutative
special case Mul in is_commutative
tr10
wip
wip
wip