Small changes.

1. Move definition of `LensLike` until after `lens`
2. Rename varibles in types of sum examples
3. Add \pause between the examples
4. Re-arrange examples to introduce `Maybe` first.