a bunch of stuff.

Rebuilt the Interp monad to use generalized newtype derived classes.
Hawt.