converting Jessie to lisp / scheme (related work: ACL2 for Zoe)

[dckc]

Here's hoping we can follow up on an August brainstorm about converting Jessie to common lisp; in particular: ACL2, for the purpose of exploring a correct-by-construction approach to Zoe 2.

cc @gibson042 @michaelfig @erights @cwebber @kriskowal

[dckc]

The Oaken funding bump makes me want to dig into this some more.

escrow2013.scm and such...
and exos vs. objects-as-closures? hm.