One reason that I would like to know the actual version of Aldor that
you used and how it relates to the current version is because at least
with respect to your code it seems that the new version of the
compiler may have regressed in some very interesting areas of
application (to me at least). This might suggest that we need a more
complete set of regression tests for this style of programming or
perhaps it relates to some specific design concompromizes in the
language that have come to light since you did you work on this
subject.

Also of course I would very much like to have an operational version
of code with which to play and perhaps I would be able to install an
older version of Aldor that would allow me to do that. This would
certainly help in trying modify the code in such a manner that it will
work on the newer version of Aldor and in the Axiom environment.

If you or anyone else is interested some very early draft work on a
version for Axiom, it can be found here:

http://axiom-wiki.newsynthesis.org/SandBoxAldorCategoryTheory

Regards,
Bill Page.