Add instance of `Eq PTS`

This is needed to compare PTSs to detect changes to them. This will not
work so well when we get a PTS DSL later, though, but a proper instance
won't work with infinite PTSs.