Merge branch 'tool/echse-state' into next

* tool/echse-state:
  minor, turn materialise() into stateful coroutine, aggregating states and yielding output upon the next event instant
  minor, provide converter of echse syntax -> state syntax