reword docs
fix `infallible` check; add type signature for infallible case
reorg docs
use relative path for `restate`
export `state` and `helpers`