Proxies should be Rank2-universally quantified, to prevent leaking to incompatible inner algebraic expressions.

Improved vector-space example on the go, and discovered that the curry instance is wrong. That class is next up in refactoring...
Split up 'Curry' class.

That was previously for all of monoidal to cartesian closed categories, but there are many examples which aren't both.