hm. Seems like these are canonicalized ModuleSpecifiers. (ModuleRequireVisitor is really ModuleSpecifierVisitor). 

I think we should not have yet-another-name-type: we should not canonicalize in ModuleRequireVisitor and the function should be getModuleSpecifiers() so we know that normalization is not applied.