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.