Create a TS type for Noir's `u32`, `u64` and `u128`

[benesjan]

We currently represent the above-mentioned types as bigint in TS which can lead to failures "too late" in the execution in a sense that the potential bugs can be hard to debug.