I suggest we extend the incr() and decr() functions to
take an optional second argument specifying the amount
by which to increment (defaulting, as now, to "one" if
In other words,
incr( x, amt)
would be semantically equivalent to
set( x, add( x, amt) )
which idiom I find myself very frequently using.