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.
I don't like it. Better to fix the cause of warnings wherever possible instead of just suppressing them. If you can justify why that's not possible, though, I'll listen.