Definition jsonExtensions (es : list extensionT) : json :=
  JsonArray (map jsonExtension es).
