A Module Environment Record inherits from a Declarative Environment Record, and thus has a [[DisposeCapability]] field that should be initialized in NewModuleEnvironment(), but this is currently missing from the proposal specification text.