ModuleRegistry: attributes are copied from ModuleInfo to the correspondent Module.