improved test technology
Merge pull request #3 from namin/master

Simple mutable lists
added a test that break v-out for lists
Merge branch 'master' of github.com:webyrd/relational-cesk
fixed v-out stuff when starting with empty continuation
fixed soundness comment
fixed comments
made a stronger connection in list
cesk-scheme* files copied from cesk-quines* ones
cesk-scheme now supports set