k3ocaml: convert slice to filter
k3ocaml: fixed handling of _ in bindings
Added Range primitive to support conversion from k3ocaml
k3ocaml: more accepted expressions
k3ocaml: fixed support for nothing
Handle flatten and fix up handling of option deconstruction