snippet support for records - why not start at NamedFiedPuns?

Currently, the snippets for records generate things like this:
`Foo {foo = _foo}`

I don't like that because if there are multiple fields, I need to delete tons of placeholders (and I usually don't go through them by tabbing) and it works really bad with fields that e.g. follow the `_` lens convention (because then it generates things like `Foo {_foo = __foo}` which is even more noise.

Is there a specific reason why we couldn't start at `NamedFieldPuns` ala
`MkFoo {foo, bar, baz}` and then let the user extend if they want to give their fields an alias?

Thank you ~