code: @NonNull
    public static Term add(@NonNull Term left, @NonNull Term right) {
      return new BinaryArithmeticTerm(ArithmeticOperator.SUM, left, right);
    }
docs: The sum of two terms, as in {@code WHERE k = left + right}.