Fix canonical structure resolution in unification (bug found in Ssreflect).