Add the function increment() in the Progression API.