relation query language, with typed embedding into OCaml - View it on GitHub