Changed from using vocabulary of rules to calling everything a computation. Now this is a little combinator library.
Modify README to reflect latest updates.
Switch to using anonymous functions and go back to using Clojail's secure tester.