Fix kleene star bugs. Add more tests. Add AST stringification.
Add support for the Kleene plus.
Move symbol 'lifting' code out of rewrite().
Support regex-style range repetition operators.