Support variables using let, unlet, and store

This could be implemented in multiple ways:

1. Special support in probcli and the ProB 2 kernel to allow adding extra variables "on top" of the regular state.
2. Modify all user inputs (likely using AST modification) to be surrounded by a LET block that defines all the variables