“An advance espoused by Edgar Dystra in the 1960s, using basic control structures to enable compositional reasoning and mitigate complexity.”