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