Add Egglog style rewrite parsing

[swap357]

Summary

• extend parse_rewrite_line to handle rewrite(...).to(...) syntax
• update tests to parse sample Egglog rewrites and print their LaTeX form

Testing

• pytest -q