Updated examples.
Made Kleisli CoCartesian.
Approached 'ArrowChoice'. Still lacks some instances.
Basic 'ArrowChoice' for Kleislis.