SALSA3: AST serialization/deserialization - JSON deserializer