Propagation

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

Error interoperation [FIXME]

[FIXME] Document the FromError`FromError` infrastructure.