k3ocaml: Added eIterate
k3ocaml: fixed it so we can now print syntax
Merge branch 'master' into focus/interpreter-bind