Sugar: HoleResultSeed parameterized on whole expression payload
Add (unused) payload annotation to Sugar expression
opRun makes a polymorphic run function
Sugar propagates annotation from expr into sugar.expr, but no mappend of hidden exprs yet