deriving functions from type declarations in OCaml (devt files)

 Camlp4 extension to OCaml for deriving functions from type declarations.
 Includes derivers for pretty-printing, type-safe marshalling with
 structure-sharing, dynamic typing, equality, and more.