[Q] Experience with equational rewrite implementation in OOP?

[Brian Rice]

Hi all,

I'm working on some of the last bits for the Arrows Squeak 
implementation semantics (haven't gotten to the development UI yet), 
and I was wondering who here might have experience with implementing 
an equational rewrite system in a system that doesn't support it. Of 
course, source code helps, and an OOP language would be most 
desirable to get the right design issues identified.

I ask for help because I've been putting together various elements 
and testing them, and finding lots of bugs (the code factually works 
but doesn't do the desired thing). The Maude source code isn't 
available except the self-hosted evaluator, which does provide any 
relevant insight.

What places should I look into? What suggestions might you have?

Thanks in advance,
~