Escape quotes in string serializations
When serializing the JSON AST back to eFLINT, it currently always wraps strings in quotes. Might want to fix to omit them if possible, and at the very least escape quotes to technically allow it.
When serializing the JSON AST back to eFLINT, it currently always wraps strings in quotes. Might want to fix to omit them if possible, and at the very least escape quotes to technically allow it.