k3ocaml: removed unneeded literal parsing