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