Instance of Expr for Bool