My personal opinion very much instersects with what @Whathecode says. Antlr (Parser Generator) for example makes heavy use of that to prevent reflecting over types. So, parsers would be a good use case I guess.
Also I think that would be a very usable feature for when statements and pattern matching.
So primary purpose is probably reducing reflecting code. Which is great for native, too, no?