[P1961R0](https://wg21.link/p1961r0) Harmonizing the definitions of total order for pointers (Gašper Ažman)