Would you be open to a PR with some refactoring of GNATCOLL.JSON to add the Aggregate aspect to JSON_Array as well as a new JSON_Object type to allow for easier creation of JSON values using syntax similar to JSON_Object'("A" => 1, "B" => JSON_Array'(2, 3.45, "6"))? This would also of course introduce a dependency on Ada 2022.