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.
this doesn't tell me what adding local rewrites under a cell is, it just copies the wording I already inferred from the name of the class.