incremental
module type S = sig ... end
module type Incremental = sig ... end