MichelsonTypeNat: Type0<"nat">
""