I hate to follow up my own posting, but I sent the previous one off a little hastily! Dave Mason writes: > This is not a new idea. We should be looking at: > Henry Massalin's work on the Synthesis Kernel, http://www.cs.columbia.edu/~henry/Dissertation/index.html The previous references were all relevant, but this is a pointer to Henry's dissertation itself. ../Dave