Show HN: Topolog – Plans as typed DAG programs, deadlines computed, not guessed