Defining exception types.
Teaching the evaluator new-style exceptions.
Teaching the top-level about new-style exceptions.