function updateAdd(x, increment) {
	  return x.write(add$1(x.read(), increment));
	}
Update the value of a Variable by adding an increment.
@param x The Variable to be updated.
@param increment The incrment to add to `x`.
@return The Variable updated.