Propagation

[FIXME] We need guidelines on how to layer error information up a stack of abstractions.

Error interoperation [FIXME]

[FIXME] Document the FromError infrastructure.