Dedicated module for IO signature.
Remove make.ml.
Move the signature for each functor to the corresponding mli file.