[2-4] typo in right adjoint for eval/curry
[2-4] changed macros
[2-4] unit<=>counit, needs a little more proving
[2-4] varepsilon -> epsilon
[2-4] F G determine one-another, vaguely