delete Seq
make router thread-safe
add syntax for explicit server spawns; extended all semantics; adapted TestSemantics