Sugar.holeResultHasHoles -> holeResultHoleTarget
Hole.Open: Avoid useless intermediate variable
Hlint 1.9.14 fixed the RecordWildCards:use-const bug, so remove the redundant annotations
Remove unused language pragmas