Produce a ModuleImport that represents an extension of the provided A_Module.
ModuleImport
Convert the provided tuple into a ModuleImport. This is the reverse of the transformation provided by tupleForSerialization.