Rename HoleInferred -> HoleSuggested