Version 0 of the JSON type