MichelsonContractCode: SectionPrim<"code", [InstructionList]>