Added value encoding/decoding to Header. Closes #17.