emove the additional layer of Coercible over EqR

And instead create Coercible direclty as a class with what was EqR as
the TyCon.