Deriving_Typerepr.json_module_of_typerepr
Tests for json_of_typerepr
Minor on Makefile