Removing typedefs which were removed from N4071, removing exception_list::get_error_count()