deal with empty module types and sub-type completion