Paolo Carlini wrote: > Isn't the algorithm sketched by Carlo potentially useful also for builtin > types... Scratch this: now I see, sorry... Paolo.