instanceOf: class hierarchy are considered properly now