Make Types output by default, don't use -merge true because it stuffs
the Require coq embed in the wrong place, even with a single output file.