On Sunday 26 June 2011 22:28:05 Sven Brauch wrote: > and I was thinking > about something like immutable types. Those could be created in case a > declaration whose type may be changed later is encountered You probably would want to call them "mutable" or similar. Immutable = unchangable. http://en.wiktionary.org/wiki/immutable -- kind regards, Esben