More convexity, normed spaces, etc. dev

Significantly simplify Mapping / Apply through Instance dev

Convex analysis basics dev

Add direct products (Pair, RowOp, ColOp, DiagOp) dev

(0) -30 -10 -4 +4 +10 +30 tip

mercurial