More on AST  -> OCaml AST translation
Import K. notes

Mark fixed bugs