quickfix/refactor idea: convert Record to class with properties

[vivainio]

Sometimes, you start with a Record type and want to move to class type afterwards (e.g. when introducing mutable members, or making the api more C# friendly).

A record can be substituted with a class that has matching property names. Of course all the sites where Record was instantiated needs to be fixed as well.

[psfinaki]

In its current form, the feature request sounds more like a refactoring thing. Marking it this way.