Janis, >> So, basically, we are annotating function >> types, what is IIRC exactly what Janis and David are doing. (I hope >> Janis corrects me if I'm wrong here). > Wrong only in that David's name is Daniel. :-) Ah, I am terribly sorry. I just shouldn't type e-mails after having no more than a single cup of coffee. ;-) Cheers, Stefan