Added comments and simplified UnexpectedErrorHandler[A] defn