Sugar: HoleResultSeed parameterized on whole expression payload
Add (unused) payload annotation to Sugar expression
opRun makes a polymorphic run function