MichelsonTypeInt: Type0<"int">