yay!
So I was hacking away at this somewhat fugly solution, when I decided to look for an example of how to do something in Ocaml when lo and be hold I found an example which pretty much implemented most of what I was pokeing. Still a lot of work to do, but hey whatever.