json: rename and improve the quick and easy `deserialize_json`