please dont push to the records-and-sealed repo

[Vicente Romero]

Hi,

I'm extracting the record bits from the records-and-sealed types to 
create an independent repo, please don't push any record related code 
until the new repo is available,

Thanks,
Vicente