In interface files, don't forget to mention the names of modules imported
via hi-boot files.  This is needed so that Hugs can use the import decls
in interface files to safely overestimate the dependency sets which it will
encounter when linking object code.