> > > with few operations and extend it as you go.
> > mutual recursion between extensions, not?
can be handled by extend.
> We use that (heavily) in the species project ("aldor-combinat").
??? You don't think the Axiom algebra uses mutual recursion?
it does, in fact that it is used extensively.
this that does not use such an exotic definition?