Lutger: > huh, you want to ditch type inference? Sorry for my last answer. I'd like to keep the type inference, but I'd like the const/immutable/etc annotations to become orthogonal to the type, that can be given or inferred with auto. (And I'd like other attributes to be managed in a clean way, and override to be compulsive.) Bye, bearophile