Introducing type patterns matching for instanceof:

Provide the theoretical and practical support for using the type patterns matching for instanceof.