I admit I know nothing about C++ modules proposals, but the post talks about an "acyclic graph of translation units". Does this imply that modules can't import one another?
What happens when two .cpp files want to do the equivalent of including each other's header files?