feat(set_theory/game/pgame): Tweak `pgame.neg` API (#13617)
We modify the API for `pgame.neg` in various ways:
- `left_moves_neg` and `right_moves_neg` are turned from type equivalences into type equalities.
- The former equivalences are prefixed with `to_` and inverted.
We also golf a few theorems.
