Guyslain: typo
Guyslain: Add paragraph on complexity of simple algorithm
Guyslain: adds paragraph on complexity of full.ml
Bibliography: publisher in Okasaki's Purely Functional Data Structures.
naive.ml ↝ simple.ml
simple.ml: comments.
simple.ml: use "function" where practical.
Section Algorithm: pass and loop use "function".
full.ml: update comments.
Full.v: comments.