Unapply.AuxA, idea borrowed from shapeless.
Add onF to Leibniz/Liskov, onCov/onContra to Leibniz.
Leibniz#apply
Several simplifications due to new Leibniz functions.
Test inference of new Leibniz methods.
Convenient subst/lift alternatives for Leibniz, Liskov. (#640)