If you haveSince the semi-ring structure, with $+$ etc., thennonstandard numbers believe that every other nonstandard elementnumber is even and every other elementnumber is odd, soa fact that is expressible in the language you mention, it follows that the types withinare not the same for every two elements in a $Z$ chain are not identical-chain. In fact, more is true: any two nonstandard natural numbers in a common $Z$-chain have distinct types, for if they differ by a finite number $n$, then they will have different residue modulo $n+1$, making their types different.
If you just haveone restricts attention only to the order, however, then any two elements in a nonstandard $Z$-chain have the types are identicalsame type, since there are numerous automorphisms, translatingorder-automorphisms that shift within athis $Z$-chain or moving various. And in a countable nonstandard model, the $Z$ chains-chains are ordered like the rationals, and so the order automorphism group acts transitively on these elements. It follows that all the nonstandard elements have the same type in the language containing only the order.