intro.txt: fixed name of Chr module
chr.mli: doc fixes