* Raname commands: `checkpoint` -> `store`, `back-to-checkpoint` -> `load`
* Parse all integers as python-eval expressions
* Save-temp-sig function now just copies the file as-is, instead of reserializing it.
* Add the following command for conditional branches: `label`, `b`, `if`, `python-if`
* Add `symdiff` command for symmetric-difference operation