- MkId.mkRecordSelId only used a special case of refineGadt, which doesn't
  need full unification.  That special case is now implemented as 
  TcGadt.matchRefine and TcGadt.refineGadt can finally go.