(better) impoved semantics + a change from * to {} for Empty term

update: WIP major pivot from original semantics.

  * terms now can be written in inverse notation
  * terms are fixed on the gamma location
  * spine is now called gamma
  * better spci display

Working branching and improved evaluation

new: interpreter with debug and correct behaviour

POC: working repl v1