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.