The Experiment: Hypotheses as Typed State Machines — headless.ly