Revamp primitives - add1, +