functor (V : VarUsage) (M : Sigs.Model-> Sigs.Model