quickfix/refactor idea: convert Record to class with properties

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.