rename _setoid suffix to _equiv; add variant of fmap_Some_setoid that can be usefully destructed

1 job for master in 10 minutes and 52 seconds
Status Job ID Name Coverage
  Test
passed #1667
coq
buildjob

00:10:52