Data Types

Header fields and the message arguments have tagged data types.

• INT32, UINT32, INT64, UINT64, BYTE, BOOL, DOUBLE
• STRING (Unicode)
• ARRAY of above
• ARRAY of ARRAY of ...
• OBJECT_ID
• NAMED ("escape hatch")
• DICT (probably a bad idea)

No variant type at the moment - should we add?