Improve description of SLAP
Decrease the required vesion of OCaml