intro documentation updated; fixed some .mli