Less aggressive refine tactic

[isovector]

Yesterday's refine hole action (#1463) turns out to be too aggressive. I was dogfooding it this morning and it replace the following hole:

mkNameDetails :: HyInfo CType -> NameDetails
mkNameDetails = _

with

mkNameDetails :: HyInfo CType -> NameDetails
mkNameDetails hi
  = NameDetails
      {nd_orig_name = OccName
                        {occNameSpace = _,
                         occNameFS = FastString
                                       {uniq = _, n_chars = _, fs_bs = _, fs_ref = _}},
       nd_user_given = _, nd_type = CType _, nd_provenance = _}

NO THANK YOU.

This PR makes it not be recursive, so it WILL build NameDetails but it will not build OccName or FastString:

mkNameDetails :: HyInfo CType -> NameDetails
mkNameDetails hi
  = NameDetails
      {nd_orig_name =_,
       nd_user_given = _, nd_type = _, nd_provenance = _}

[jneira]

YES THANK YOU

[googleson78]

Closes #1304