todo.txt

* Figure out a way to include test cases in final planet package

* Figure out a way to include test cases in final planet package

* Once I understand contract pragmatics, revisit env/c and fast-env/c.