coercionSyntaxEq: handle SubCo (for ghc > 706)

In `HERMIT.Core`, `coercionSyntaxEq` was missing a case for `SubCo` and so gave `False` for equal `SubCo` coercions.