More efficient boolexprs

Some small fixes for BoolExprs