MichelsonTypeNat: Type0<"nat">