Initial HeaderDiff serialization... still have to do deserialization..
Also, experimenting with refinements to typed codec serialization...