[Lang] special type for repeat loop arguments

[ekiwi]

Repeat loops should take protocol arguments of type uint which denotes an unbounded, non-negative integer. This way we never have to reason about overflow.

[ngernest]

This makes sense to me! An alternative name for uint type could be nat (a natural number in the math sense), but I'm fine with either name.