Critique of a Object Oriented symbolic polynomial package

I have downloaded meditor, a symbolic polynomial package written in
java.
I ran it through TogetherJ and produced a class diagram.  I would be
interested in
comments about the class representation, in particular how the
limitations of single
inheritance and single dispatch affect the design, and how it could
change if CLOS
was used to implement this.  I can snail mail a copy of the diagram or
try to
create a postscript image from the tool and email it to anyone
interested.
Dan Stanger