MichelsonData:
    | IntLiteral
    | StringLiteral
    | BytesLiteral
    | Data0<"Unit" | "True" | "False">
    | MichelsonDataOption
    | MichelsonDataOr
    | DataList<MichelsonData[]>
    | MichelsonDataPair<MichelsonData[]>
    | InstructionList
    | MichelsonMapEltList
    | MichelsonLambdaRec
    | MichelsonTicket