Small comment edits.
Dfa is now printed.
Added note about common prefix elimination.
Started on support libs. Moving them out of project.