a shell like language easily embeddable into OCaml