* h_program-lang/datalog_code.ml: first draft, and porting datalog_c to use new fact type
* matcher/transforming_fuzzy.ml: try support transfo on metavars