Typo fixes and minor improvements to Lens@Home.
A note about the forall in the Lens synonym.