Merge branch 'master' into Satisfier
Build the Stage One Interpreter

Still need to debug the evaluation, and link this to ConstraintGraph
generation
Minor Sig Changes
Merge branch 'Satisfier'