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