Added generic traverse for total polymorphic lenses.
Minor documentation fix.