Add valid refinement substitution suggestions for typed holes