Better file names (in agreement with the sections in the readme).
Pull the pattern dispatch stuff into its own file, to follow the
section structure of the README.
Better file names.
Oops, forgot to update the workbook builder to the new file names.
Whatever they will end up being named, these procedures are actually
part of the interface to this system.
Complete facade to just matching patterns.
Explain the facade.
Pattern-dispatch operators might as well run their rules in order of addition.
Specify the order in which pattern dispatch operators attempt their
rules.
Test that rules respect the success structure in input, when
succeeding (using succeed) and when failing.
The in-order combinator is actually much more natural for simplifiers
than using compose, because of the order of execution.
Don't want to supply compose anymore, since I don't use it.