Added simplified inspect.

I added the simplified inspect to Relation.Binary.HeterogeneousEquality too.