support for exception.get_type()