Documentation: Over and Optic in terms of Optical.

Added two examples to the Haddocks for "Optical", showing how
"Over" and "Optic" can be defined in terms of it.
Merge pull request #429 from danidiaz/master

Documentation: Over and Optic in terms of Optical.