[P1242R1](https://wg21.link/p1242r1) Single-file modules with the Atom semantic properties rule (Jeff Snyder, Richard Smith)