Support variables using let, unlet, and store
This could be implemented in multiple ways:
- Special support in probcli and the ProB 2 kernel to allow adding extra variables "on top" of the regular state.
- Modify all user inputs (likely using AST modification) to be surrounded by a
LET
block that defines all the variables