Bool ~ Bool
>>> input bool "True" True
BoolAnd x y ~ x && y
BoolEQ x y ~ x == y
BoolIf x y z ~ if x then y else z
BoolLit b ~ b
BoolNE x y ~ x != y
BoolOr x y ~ x || y