MichelsonDataID: "Unit" | "True" | "False" | "None" | "Pair" | "Left" | "Right" | "Some" | "Lambda_rec"