Reorganization
Small corrections
OCaml implementation of a CEK machine