There are now two abstract domains for exceptions, `PropagateError`,
which is used in case the language only _propagates_ the error and
`HandleError` in case the language allows to _handle_ excepctions.
Furthermore, I unified the interfaces for `ArrowTry` and `ArrowTryCatch`.