Added a JSON format spec and started working on it