taker test
added ocamldocs to the non obvious stuff
docs for iter2_exn