Bug fixes. Not all OCaml examples pass.