Re: JSON Schema

[Jose E. Marchesi]

        "Method" : {
          "type" : "object",
          "properties" : {
            "name" : {
              "type" : "object",
              "$ref" : "#/definitions/String"
            },
            "value" : {
              "type" : "object",
              "$ref" : "#/definitions/Closure"
            }
          }
        },
        [...]
        "Closure" : {
          "type" : "object",
          "properties" : {
            "type" : {
              "type" : "string",
              "const" : "Closure"
            },
          },
          "$comment" : "maxProperties 1 for now",
          "maxProperties" : 1,
          "required" : ["type"]
        },

I don't think it is a good idea to export the notion of closure in the
JSON interface, since we don't have an useful way to describe their
components: the associated PVM program and the run-time environment.  I
suggest to remove them from the schema.