Finish introduction for section 2
Rearrange challenges to the last chapter and remove applications and algebraic properties from second chapter
Add introduction and motivation for PutLenses