Mode for Equiv

Include workaround for Coq bug #14441, and drop now-failing test for that Coq
bug.
2 jobs for !701 with modes-broken in 9 minutes and 29 seconds (queued for 3 seconds)
detached
Status Job ID Name Coverage
  Build
passed build-coq.8.12.2 #131981
fp

00:09:20

passed build-coq.dev #131980
fp

00:08:50