Simplify reducing reductions.
Infer reductions’ function description if nil.
Compact the reduction of the empty parser.
Propagate function descriptions when compacting.
Preserve function descriptions when deriving.
Infer function descriptions when composing.
Move composition descriptions into a temporary.
Break composition up for debugging.
Merge pull request #72 from robrix/tidier-reduction

Tidier reduction