Complete section about existing implementations for lenses
Add examples for introductory chapter on lenses
Fix formatting problems
Fix depth for table of contents and other options