Factor out choice of context-viewing syntax
Thread a view/context pair as interaction state
Refactor state transformation in interact-loop
Add syntax toggling in interactive view