changed constraint ordering in orient part of unification to prevent infinite orientation of T1 = T2 constraints