Difficult to pretty-print records with accessor names

[ChrisPenner]

As part of the LSP formatting: #3460 ; we would like to be able to round-trip records from their parsed representation, not only the typechecked one, but since record types aren't actually tracked as first-class "things" and are only inferred by the names that are in scope in the pretty printer, it's much more difficult to do.

We should likely support records as a first-class concept so we can do this sort of thing 😄