Add paper skeleton
Update for neweffects

Also changes in marshaling and error handling. MSG now parameterised
over a transport mode rather than a Monad.

A transport mode says whether the value needs to be marshalled before
tranmission, and whether tranmission may fail. Failure can be handled
per action (ByAction), in which case an individual protocol action can
be retried, or per program (ByProgram) in which case failure means the
whole program will fail.
Added TestIPC
Renaming things
Update to new effects package