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.
Small cleanup.
Cleanup and restructure of TH code.
Renamed functions/operators involved in vertical composition.
The (>-) now takes a lens, not an arrow.
Cleaned up definition of compose in Point.
Implemented derivation of labels as expressions.

Need large rewrite of TH derivation code.
Optionally produce errors in FailArrow instead of ZeroArrow.
Cleanup of derivation code.

Pick either FailArrow or ZeroArrow for partial labels.
Made derivation modules compile with older GHC/TH.

Type synonyms used in TH quasi-quote need to be fully applied.
Minor cleanup of Point and Poly code.