The Modules TS gives declarations an explicit owner
engineeringcppmodulesstandardscompilationThe January Modules TS draft specifies named dependencies and exported declarations. Its ownership and lookup rules explain why importing a module changes more than the spelling of an include.