* h_program-lang/datalog_code.ml: generating domain headers
* h_program-lang/datalog_code.ml: explain tuples