HERMIT.Dictionary.New
externals
isVar
nonRecIntro