MichelsonTypeBool: Type0<"bool">
""