updated to a more recent version of Datalog;
updated Oetb interface (and packed definition) to match the new Json and Rpc modules;
also, be compatible with Lwt;
impleemnted some trivial stuff in Terms