Sugar exports convertDefI, and not loadConvertDefI
Move Sugar.holeResultHasHoles is now a field in HoleResult, separate Sugar.RemoveTypes module, GUI depends on Sugar.Types and not on Sugar, reducing build times upon Sugar.hs changes.