Eq instance for IntPSQ, add more tests