functor for parsing datalog clauses in TopDown (and AST convertion)
topDownCli uses the new parser (with error reporting)
CamlInterface now uses Univ.t as constant type everywhere (compatibility for Int and String cases
with ocaml string/int values; also, more uniform);
parser for CamlInterface so that values can be read from files