default @NotNull DfType meetRelation(@NotNull RelationType relationType, @NotNull DfType other) {
    return meet(other.fromRelation(relationType));
  }
default @NotNull DfType meetRelation(@NotNull RelationType relationType, @NotNull DfType other)