add Context.getLocalTVars
require null patterns for exhaustiveness if the type is explicitly nullable
add implicit null checks to pattern matching (see #2580)