The new function `json_metadata` returns the module declaration
as a json string.

Progress on: #535