I was going through the spec text too quickly and made a mistake during the meeting. His proposal does not affect deletability of global bindings, that already depends only on whether the global property is configurable or not. It's effect is only to remove a _Syntax Error_ in some redeclaration cases.
Specifically, I believe that it would make the second script not a syntax error in this case:
<script>eval("var a = 1)</script>
<script>let a = 2</script>
---
Nicolò