BoolExpr should be initializable with C++ boolean values

This code works:
```
LinIntExpr e = 0;
```
but this code fails:
```
BoolExpr e = false;
```

It seems that it should be possible to initialize BoolExpr with a C++ boolean value.

Tìm trong phần triển khai C++ API và các kiểm thử hiện có về việc xây dựng LinIntExpr và BoolExpr, sau đó so sánh cách các literal số nguyên và boolean được xử lý. Xác nhận các dạng BoolExpr được dự định cho true và false, bổ sung độ bao phủ cho các khởi tạo đó và xác minh rằng ví dụ LinIntExpr hiện có vẫn hợp lệ.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.