Added SealedRecordType; Records.clone()