Set the priority of the rewrite relation for sqsubseteq to not take precedence over the eq instance from Coq or equiv.