From my perspective those are exactly the points I have felt strongly about. I still think "typed records" would be a better choice, but it's something I'm willing to compromise on. As I'm looking at the draft, we currently have 13 records and only 3 of them have keys... Matejcik was a bit keener on this, so we'll try to discuss this more during the week and we also look at the draft more carefully to see if we can come up with some nit-picks.