Data.Generics.Strafunski.StrategyLib.NameTheme
Free name analysis
freeNames
freeTypedNames
Bound name analysis
boundTypedNames