docs: def Add(self, other):
      """Returns a copy of this set with a new element added."""
      new_descriptors = []
      for desc in self.descriptors + other.descriptors:
        if desc not in new_descriptors:
          new_descriptors.append(desc)
  
      return TypeDescriptorSet(*new_descriptors)