Ocaml code for W cook's anatomy of programming language ( http://www.cs.utexas.edu/~wcook/anatomy/anatomy.htm )