Finalizing in JDK 16 - Pattern matching for instanceof

I have been thinking about this and I have two refinements I would like to suggest for Pattern Matching in instanceof. Both have come out of the further work on the next phases of pattern matching...