Bool/
BoolEq/
Bvector/
DecBool/
IfProp/
Sumbool/
Zerob/