6efb24e8

By: Tom Sydney Kerckhove <syd@cs-syd.eu>

Restore BoolLit; ConstBool now only matches non-literal Bool expressions

BoolLit flips True<->False for Bool literals.
ConstBool replaces any non-literal Bool expression with True or False.
The two operators cover disjoint cases.