use a more recent version of Logtk, lots of things to update
to use Formula properly in literals;
Literal.Arr to manage properly arrays of literals;
literals are now Equation,Prop,True or False;
ability to register new selection functions;
removed Delayed and interface for it (Env.preprocess works on formulas)