Added TH derivation for both monomorphic and polymorphic labels.
Code cleanups.
Monomorphic lenses are now a synonym for specific polymorphic lenses.
Specialized the monomorphic variants of set/modify for partial/failing lenses.
Cleaned up working with isomorphisms.
Export Partial context from Partial module.
Removed partial monadic lenses.

These weren't particularly useful.
Renamed TotalM to Monadic.
Both embed for partial lenses as failing lenses now fail when the inner lens fails.
Renamed the test suite.