Non-punning record field patterns

Currently I can only pattern match on a record by punning its fields:

```
case x of
  { a, b, c } -> ...
```

I want to choose which fields to pun and which fields to assign custom names:

```
case x of
  { a, b = renamed, c } -> ...
```