Check if type exists when tracing type cast, is, and introspect.

Check if type exists when tracing type cast, is, and introspect. #1637