Make definition of TraitIntroductionInfo cleaner and logical