See Incremental_intf for documentation.
Make returns a new incremental implementation. Incremental uses a timing wheel
for its time-based functions. Make uses Config.Default ().
Make_with_config allows one to specify the timing-wheel configuration.