Merge pull request #8 from namin/master

quickcheck style search for inconsistencies
Merge pull request #9 from namin/master

rembero* transformation
added broken call/cc to interpreter
Merge branch 'master' of git://github.com/webyrd/relational-cesk