reformatted license prelude;
add a Set conversion module, using first class modules of ocaml>=3.12
test the conversion to set