[test] add thesis example
[ocaml] implement sas translator steps (not complete & buggies)
[ocaml] fix bugs on lexer -- remove "." (dot) from identifier regex; remove debugging codes
[test] update tests
[ocaml] fix bugs -- inherit schema attributes to object
[ocaml] remove debugging codes; add comments
[ocaml] combine typetable of init & goal spec
[ocaml] fix bugs on json_of_constraint
[ocaml] refactor codes
[ocaml] implement DNF functions; refactor codes
[ocaml] rearrange error codes
[ocaml] refactor codes
[ocaml] refactor codes
[ocaml] add comments
[ocaml] implement grounding action functions
[ocaml] fix functions for grounding actions
[ocaml] refactor codes
[ocaml] implement compilation of global constraints
[ocaml] implement SAS generator
[ocaml] fix FDR generator -- remove goal of variable with single value domain