code: public Element merge(final Element element) {
          types.addAll(element.types);
          possibleValues.addAll(element.possibleValues);
          return this;
      }
docs: Merges the other element into this element.
  
  @param element The element to merge
  @return This element (needed as BinaryOperator)