Experimental: add prop-based tests for bijective val->bin mapping
Improve support for headerless freezing (docs, error msgs, etc.)
Make id defs easily IDE-collapsable
Generalise to allow serialising from/to any DataInput/DataOutput. (cmf)
Clean up new DataInput/Output API