As a nearly-final note about this, Maude /does/ indeed have a configuration type, but this is not very general, and is used simply as an abstract type for its object-oriented modules. However, the general principle is still the same, just not as generic. -- Brian T. Rice LOGOS Research and Development mailto:water@tunes.org http://tunes.org/~water/