* h_program-lang/datalog_code.dl: p = *q
* mini/datalog_minic.ml: handle more stuff