Assoc comm

Adds basic associative and commutative unification