Extract Data.Set.Ordered from AddNames
toInferred -> toHoleSuggested