[ocaml] refactor - create fdr module; extract constraint & action modules