Modularization and extensive reimplementation.  Addition of AVL trees.
Regenerate OCaml extracts.
minor edit