Design notes on exceptions.
Notes on `Error` in declarations.