See some of my other comments related to the use of "label". I was wondering if label + type could be sufficient as the identifier of a module descriptor, since within the context of a single stream, the label is either explicitly provided as a substitute for the module's name or it is implicitly created as moduleName+index.