Hi Sebastien,

you sure made a pretty long write-up! What I'm missing on the first skim-through is a thorough review of the currently published papers in the space and answers to the previously surfaced objections.

Some of the papers in this space:

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p1144r5.html

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4158.pdf

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p1029r3.pdf

http://open-std.org/JTC1/SC22/WG21/docs/papers/2016/p0023r0.pdf