Finally fix findSubMatch: the wildcard match stopped Eps matching, and Star matches returned the incorrect input remainder.
More TODO items
Show that compaction really works.