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.