add some mli and replace set impl by a simple one