I read some text where a cheme was implemented such that numbers were `2 = 1+1`, `3 = 2+ 1`...
...
https://developers.urbit.org/reference/nock/definition
> The reader might wonder how an interpreter whose only arithmetic operation is increment can ever be practical.
> The short answer is that a Nock interpreter doesn't have to use the algorithm above. It just has to get the same result as the algorithm above.