Improve message for errors when unifying rigid type variables