Mailboxes: many improvements.  Rationalized and simplied the interface in Context.mli.  Added the "dead" context state, which is important.  Skeleton cleanups.