Predicate Module::named

Gets the ModuleValue named name.

Note that the name used to refer to a module is not necessarily its name. For example, there are modules referred to by the name os.path, but that are not named os.path, for example the module posixpath. Such that the following is true: `Module::named(“os.path”).getName() = “posixpath”