Furthermore, the update seeks to rectify the exclusion of primitive type patterns in the pattern matching for instanceof and switch, which had limited Java's expressiveness.

Remember that in Java, for a reference variable of some type referring an object of its supertype is forbidden: arrows in Figure 8 must not be directed upwards.