Prototype k rewrite machine

I call it K rewrite machine but it's really just a simple interpreter so far. Eventually, this would become a a fast abstract rewrite machine and the starting point of native code generation.
OK. 

I am not sure about the correct long-term solution, though the current implementation is definitely not very good. I need to come back at some point to work out an appropriate class hierarchy for this.