MichelsonTypeChest: Type0<"chest">