Remove dependence of ExampleDB on BranchGUI (and a large subset of the GUI for that reason)
Use type synonyms appropriately: SugarInfer.PayloadM, ExprIRef.Expression
Sugar.Convert.Hole: makeHoleResult to get the top-level storred/inferred Payload of the hole

... rather than an (unneeded) stored-payload expression with an inferred.