C# 9: Records Revisited