Introduce variables from field pun patterns
Annotate names in field pun patterns
Annotate expression puns
Add a test for record puns