Add leftfactoring and epsilon explanation
Fix error in expr grammar
Improve explanation of parser types
Add chapter about parser generators
Somewhat improve Lua chapter, still needs tuning