Oops: Test didn't build
Expose makeConverted that does the Sugar.Convert in HoleInferred rather than in the GUI
Export hiInferredValue/hiInferredType rather than hiInferred
inferredValue removes paramTypes at Sugar, before sugar conversion
scStructureInferState -> scStructureInferContext
ConvertM: Pass around the with-variables infer context
hiInferred* -> hi*
Hole: Extract makeHoleInferred
Extract mkWritableHoleActions
Slightly more consistent mk vs make in Convert.Hole
HoleInferred re-infers inferredVal before conversion
Infer.derefNode in Maybe
HoleInferred: hiBaseValue/hiWithVarsValue. Deref in the right context