Bacchus: Enable booleans.Evaluation by default

I would have liked to add integers.Evaluation, but its implicit conversion from
Int to Value conflicts with the one from naturals.Evaluation.