Fixes bugs

Those commits fixe the problems when running the test examples with the GADT and the OCaml backends