Typevisitor: better help hint for missing packages in the default module