This is incredibly exciting and a tour-de-force. My immediate thoughts are on turning this into a hardware automaton, eg. an FPGA softcore like Reduceron. I see some interesting questions like how to handle user defined rewrite rules, but nothing insurmountable.