updates docs on state machines
updates svg exporter
fixes junction editor
updates render readable for annotated expressions