Refactor theories to isolate old "naive" approach to PseudoC graphs.

The naiveTheory file contains the proof that the semantics of PseudoC
in terms of actionGraphs is correct.  This is the result from the LCPC
submission.  There are two flaws with this approach:
* the graphs are horrible to work with because of their labels
* the graphs aren't nested
Fix for latest symbolic evaluation bug.
Start on complete reworking of CNAGScript.

This is where the nested DAG stuff is to happen, replacing the failed
attempt to do it with the old actionGraph structure.
Merged