Pattern matching constructs like if (a instanceof Type b) are flow-sensitive, which makes it a bit harder to implement their scoping rules. This should be handled by symbol tables. I have a very old branch with an implementation, will update it.

This issue is split off from #2701