Remove first type parameter to IntegerModN, since it was mostly just getting in the way