MichelsonContractStorage: SectionPrim<"storage", [MichelsonType]>