package imports in module headers

See IEEE 1800-2012 A.1.2 module_nonansi_header and module_ansi_header