MichelsonTypeOperation: Type0<"operation">