Work on Sessions.

Using explicit lifts / proofs for now since auto-proof gen in effects is broken.
Some bugs still to iron out with session deserialisation.