I think the goal is to be able to add some restrictions to what kind of scope lambdas and extension methods close on to solve the issue? I don’t think that affect much if the default scope is kept permissive? Obviously there are maintenance issues for adding more complexity to the language though.