minor modification
modified coq code base to be similar to ocaml

- syntax modification (beIntraCfg, beInterCfg, beGlobal)
- modified pow domain to be general
  TODO: generalized map domain
- is_rec is removed from the update_mode
- dump is moved from monad to beGlobal.t
Merge branch 'rabbit' of github.com:skcho/zooberry into rabbit

Conflicts:
	rabbit/bePow.v
correct for coq compile