Will correctly convert any integer type to a given modular type (S), using wraparound semantics.
This function returns Arg mod S'Modulus, as a value of the type of S.
S’Mod (X:T) return S
