One thing we could do here is expand the definition of extension methods to include extension operators. I think this makes sense for other reasons. If we do t

One thing we could do here is expand the definition of extension methods to include extension operators. I think this makes sense for other reasons. If we do that, you could provide pattern matching for existing classes, even ones from metadata, by simply manually specifying an extension is-operator for the class.