Typed processing-map demo: sequence at the root, typed insertion, nested parallelism, and path replay.