Serialization of a type to binary/text format for caching

See Export/import data in OCaml - #10 by yawaramin and other messages in that thread. My suggestion, Umarshal, would not require changes to the existing types.