Errors and cleanup

For exceptional control flow, start with exception handling, then learn cleanup with finally. Expected business outcomes can instead use data enums and exhaustive matching. The error model explains the choice.