simplified reasoning technique
started to fix quanto encoding for new quantomatic and new rtechn (and simplifying goal type accordingly)
a bit on clausal goal type
tidied up old code, removed goal nodes, and instantiated graph following new quanto functors
got psgraph working (modular combinators) - starting looking at new goal type
a bit more on goal types + tidied up and got isabelle working without eval
added breakpoints + started to port evaluation
eval graph updated (a lot had to be removed)
did a bit on the eval - I wonder if we should simplify and may hardcode eval of atomics/identify instead of rewrting
eval for atomic tactic (in general;not with isabelle) supported. New version, not based on rewriting for simplicity. Only single box, given a goalname, currently works; without logging/debugging. Next: support for isabelle
tidied up eval - more or less working (issue with the UI_socket stuff)
worked more on causal goal type
removed context from pretty printing and json : a lot of TODOs that has to be fixed
Merge branch 'clausal_gt'

* clausal_gt:
  removed context from pretty printing and json : a lot of TODOs that has to be fixed
  worked more on causal goal type
  tidied up eval - more or less working (issue with the UI_socket stuff)
  eval for atomic tactic (in general;not with isabelle) supported. New version, not based on rewriting for simplicity. Only single box, given a goalname, currently works; without logging/debugging. Next: support for isabelle
  did a bit on the eval - I wonder if we should simplify and may hardcode eval of atomics/identify instead of rewrting
  eval graph updated (a lot had to be removed)
  added breakpoints + started to port evaluation
  a bit more on goal types + tidied up and got isabelle working without eval
  got psgraph working (modular combinators) - starting looking at new goal type
  tidied up old code, removed goal nodes, and instantiated graph following new quanto functors
  a bit on clausal goal type
  started to fix quanto encoding for new quantomatic and new rtechn (and simplifying goal type accordingly)
  simplified reasoning technique