4L sounds excellent, thanks. I have to figure out what to tell the design people so that they will have some idea of the next design. I was thinking of some kind of picture which shows a machine, labelled `MLton' or `whole program compiler' and then input arrows coming from a cloud labelled `program source' and another one labelled `standard basis' and then an output arrow to a something labelled `fast code'.