HoleEdit: Extract holeMatches to HoleCommon
ExprGuiM.getGuidName is in Transaction monad
Field holes can select existing fields