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.