UnopenedNamespacesResolver deals nicely with AutoOpen modules