k3ocaml: Added eIterate
k3ocaml: fixed it so we can now print syntax