lots of changes. starting to work in small-step stuff.  pretty printing and syntactic support for s-expressions. starting to connect concrete instantiations of abstract evaluators and concrete evaluators. Makefile.  A decent README so people other than me have an idea where things are.