Resurrected Arjun's old Policy Generator

Also:
* Tweaks to many files to reflect changes in ocaml-topology in representations of numerics

* Added a simple unit test to provide a template for Jason / Basu to add more