For Detalion, implemented (in Cedalion) a mechanism for stringifying JSON objects.