only .mli find, instead of generating

module type X = sig end

generating

module X = struct end

or

module rec X : sig end = X

we need a warning, the reason is that quite common that there is another lib which would call open X.

Support mly needs be discussed, since there would be various flags need to set