ajout d'un foncteur

qui transforme n'importe qu'elle type avec égalité en une datastructure
(qui fonctionne avec des ensembles et non des bf)