Class bad_typeid

Defines a type used for handling typeid exceptions.