instanceof for C++: typeid

Always be certain that pointers are dereferenced when using typeid. It can be a common error, and the compiler won't give any warning.