By eliminating the different constructors for different exception types, and instead classifying exception types at run-time, we can simplify the `catch()` clauses in ToopherAPI.java