BoolExpr should be initializable with C++ boolean values

[yurivict]

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.