Further work done on JSON decoder/translator