added mul, div, divi added print fixed code and doc of map and mapi (now fails if f returns 0) improved documentation: applicative data type / complexity 1.0.0 first opam package