Is there some theoretical reason why ocamlc -pack couldn't
optionally include the contents of a module directly in
the main module instead of adding a submodule? 
It would be nice to be able to write something like this:

> ocamlc -pack -o foo.cmo bar.cmo -include gak.cmo

and have the contents of Gak included in Foo as though
there were a line in foo.ml that said "include Gak".
Bar would still be added as a submodule of Foo.