Document the use of Is_Type_Of