The Add function, generally denoted by `+`, is used for addition in K.
The Add primitive is fully atomic.
1+2 3