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.
