prefer typed UUID;

more comments;

prefer non-strict defaults;

more informative error with JSON result;
tuned signature;

tuned signature;

more operations for typed JSON values;

clarified signature;

clarified signature;

tuned comments;

tuned comment;

more accurate JSON parsing according to http://seriot.ch/parsing_json.php

tuned signature;

tuned signature;

separate JSON parser, which is slightly more general than (deprecated) scala.util.parsing.json.JSON;

more permissive;

separate JSON lexer;

tuned;

avoid escape of '/' in JSONFormat.quoteString;

clarified JSON operations (see isabelle_vscode/a7931dc2a1ab);

updated headers;

support for JSON parsing;