C++ 20 Modules Update

It looks like not all of the proposal is implemented (or I do not understand it yet):