Description of optimzing compilation?

Tue Apr  2 11:42:20 2002

compile.fun

Probably should compile A1 in {x:A1} A2 in order
to avoid incompleteness.