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?