Introducing record pattern for instanceof: Write a bunch of examples that introduce record patterns for instanceof including nested record patterns.