[test] add/update test files of action & global constraint
[ocaml] implement AST & type system for action & global constraint