Implement PackageDescriptors
Implement ModuleDescriptors

along with the associated nodes: ImportModules and ImportModuleLists.