instanceof works with superclasses