Add label
Add subsection for examples of combinatorial lenses
Fix implementation (add enforceGetPut again)
Wrap up section about combinatorial lens library
Add and fix labels as well as title-cases in section titels; add appendix
Change natbib setting to parentheses
Add introduction to section 2