MkBool$
Since 3.1
This is a shortcut for
MkBoolean$