Fix subtle bug with name reuse when making Upd instances, and defend against bad bind_fvs
Handle higher-rank fields in greToFldInst (needs tidying)
Make useful suggestions for unsolved Has or Upd constraints