Partly to sidestep my problem with module->namespace, but also as
something i would find useful in other contexts: is there a predicate
telling whether a module (given, say, its path) has been loaded?
Thanks,
jao