@Override
      public Specifier<ModulePackageRepr, ModulePackageRepr.Diff> exports() {
        return Difference.make(pastModule.myExports, myExports);
      }
@Override
      public Specifier<ModulePackageRepr, ModulePackageRepr.Diff> exports()