Second leibniz part text.
Most remaining leibniz part 2 chatter.
Alternative hoge implementations; forward link from last part.
Note about refl; fix kind error.
Motivating notes; summary.
Better Ermine link.
New post: "Higher Leibniz". (#29)