[ocaml] fix bug in action:create_global_actions
[ocaml] fix when classifying simple implications
[ocaml] fix bug on compiling simple global constraints
[ocaml] fix bugs on type:type_of