minor changes to package CompleteIntersectionResolutions

      put exported symbols in strings to avoid collisions better
      convert strings that are really comments to comments