Use the correct setoid equality in algebra/gset and algebra/coPset
cofe_equiv takes precedence over available equivalences, which prevents rewriting with those equivalences. I have to make explicit those instances.
@janno suggested that it is due to this hint?