MuxCat; tidy
Eq1' completenss
CondIP
muxBool, muxInt
muxBool