Adding a little wrapper allowing Coq to run as a remote process.
Adding state-list monad in Coq.
Funky CPS translation.