Datatype generic JSON string <-> type

A simple example of using datatype generic JSON operations from Infers.Toys.