API: add json_equal(), and json_copy()