Use "spec-examples-by-section"

It's more complete, for some reason.

Also, add a list of tests to ignore for the guessing part.
Add extended examples
Greedy consume when variables directly adjacent
Version bump
A bit more detail about de-substitution