Fix a warning.
Terminals are informally reducible.
Nonterminals are informally reducible.
Delay combinators are informally reducible.
Fix a compiler warning.
Combinators are formally reducible.
Repetition is reducible.
Reduction is reducible.
Alternation is reducible.
Concatenation is reducible and tests cyclics.
Literals compare by pointer equality first.
Document & organize the constructors.
Adds size computation using grammar reduction.
Move the HMRPrettyPrint to the operations header.
Implement pretty-printing by reducing.
Remove pretty-printing from the combinators.
Add a (failing) test of prefix traversal order.
Reduce concatenation in prefix order.
Reduce alternation in prefix order.
Reduce reduction in prefix order.