refactor: incorporate an AxEffects field in SymContext, introduce SymM monad for SymContext state
#10
| Job | Run time |
|---|---|
| 5s | |
| 5s |
SymM monad for SymContext state
#10
| Job | Run time |
|---|---|
| 5s | |
| 5s |