I've decided to tackle the issue in a proposal: https://isocpp.org/files/papers/D3969R0.html

Thanks for the feedback, it's been quite helpful in making this draft and addressing possible design alternatives.