Improve documentation of IO system messages
Add either/or interface definitions

The new `replies_to<...>::with_either<...>::or_else<...>` notation allows
developers to have success/failure messages for typed actors. Message handlers
need to use the corresponding `either<...>::or_else<...>` result type.