Name
..
ImplementFieldsInCoClauseIntention
ImplementFieldsInNewExprIntention
ReplaceMetaWithResultIntention
ReplaceWithNormalFormIntention
SplitAtomPatternIntention
WrapInGoalIntention