A module internal to Incremental. Users should see Incremental_intf.
This module is almost the external interface of the Expert, but
defunctorized, so it's easier to use from the inside of incremental.
module Dependency : sig ... endmodule Node : sig ... end