Implementation of increments based on fidge.
Fixes to handle transitivity.