Without totally saying "it's a bad idea", I'll note that #1 has been discussed before, albeit not for several years!
I tend to agree with the conclusions there that the underscore-as-placeholder syntax doesn't provide sufficient benefit over a compact closure with anonymous arguments. I do however support the idea (in this thread and @DevAndArtist's) to allow names-with-labels for local and non-local bindings alike.