Sugar: Propagate user-given annotations from original expr into Sugar.Expression
GUI uses ExprGuiM.Payload and SugarExpr
Use SugarExpr/ExprGuiM.Payload instead of rHiddenGuids

The collapsed expression will get marked.
Move maybeToMPlus to Maybe.Utils
Safer removal of wrappers in injectIntoHoles
HoleEdit.Results: injectIntoHoles: Takes payloads as arg
Gui keeps track of which subexprs were injected
Shrink down injected results
Shrink wrapped arg to line height