J'ai touché à matching en m'inspirant des Tpat_alias. Et un callback pour traduire les expressions des bindings en lambda (transl_exp_callback). Apparemment, ça a l'air de bien marcher.