DefinitionTypeInfo before DefinitionContent (for traversal order)
Add Control.Applicative.Reverse
Add Control.Applicative.Utils.when
Sugar.Convert.Expression.subExpressions is a traversal of payloads indexed by the bodies
AddNextHoles: Use traversal with reverse state monad