Sugar: HoleResultSeed parameterized on whole expression payload
Sugar.Types imports Sugar.Monad, rather than vice versa
Add (unused) payload annotation to Sugar expression
fixup to (unused)

Hole/Inferred/HoleActions don't need to be parameterized on annotation type, because annotation type will be forall'd in the holeResult maker
MkHoleResult newtype
opRun makes a polymorphic run function
*broken* towards annotation carrying into hole results