Efficient comm

Increase efficiency of commutative unification