eliminate boilerplate ocaml code

[soonhokong]

I feel very bad when I see our ocaml codebase. There are a lot of boilerplate code to handle exp/formula again and again. Let's clean this up. I'll try to find some alternative to have an elegant implementation. Maybe we can use Janestreet's generic library.

@pondering, please feel free to add any thought.