“Global key-value store of functions with their metadata” sounds a lot like Hoogle to me. As for getting rid of modules and replacing them with namespaces... I’

“Global key-value store of functions with their metadata” sounds a lot like Hoogle to me. As for getting rid of modules and replacing them with namespaces... I’m not sure I see what is gained. You still have function names plus an additional identifier.