MichelsonTypeBool: Type0<"bool">