Derive Eq instance for the HieTypeFix type

We have instance Eq a => Eq (HieType a) already.

This instance can be handy when we want to impement a function to find all fromIntegral :: a -> a using:

case ty of { Roll (HFunTy _ a b) -> a == b; _ -> False }