Dear all, I discovered that in my patch there was is_a<whatever> that should have been an is_exactly_a<whatever>, so here's a new patch. Besides that, it contains all changes that I sent recently. Best wishes, Chris