> a substantial lore of techniques and approaches for optimizing on the
> basis of manifest and implicit types, together with compiler
Ah, thanks. Yes, I can see how it would be useful for optimization. I
was thinking of safety, myself.
Bill