I think another thing that took some pressure and urgency off implementing namespaces at the language level was jbuilder (and now Dune)'s built-in support for ‘fake’ namespaces using autogenerated module aliases. We can consider it now as the de-facto standard namespacing mechanism for OCaml.