Stateful semantics. Draft.
Add skipped tests lists. Cleanup.
Easier merging for rules over binding svars.
Use an Env to wrap the address when passed as semantic component.
Minor changes and bugfix for state
Towards a heap for strategy definitions
Reimplement SVar binding for calls to use SHeap operations
Fix incorrect strategy name being bound
Fix incorrect thunk being bound for fully applied strategy parameters
Make the readable semantic components explicit for the defs rules to work around merging issues
Fix closures not being bound in correct SEnv when being passed.
Fix let bindings to allow visibility
Fix As(x, pattern) not actually binding x after match success.
Fully implement All, Some, One and ensure that they are annotation-preserving.
Extend the lists of missing test cases