Long-running programs and state

TODO introduction.

• Programs that keep running — TODO description.
• Managing in-memory state — TODO description.
• Persisting and restoring state — TODO description.