Hello, The previous e-mail prompted some discussion which I logged in a new directory, "doc/irclog", which also contains a log about the annotations as used by the translator's type inference. A bientot, Armin.