Clarify that records encode values even if they equal their default

I believe that this is an important aspect to clarify as some other
serialization formats omit fields that equal their default for
space-efficiency reasons. I had to run a small experiment as I could not
find this information in the spec.