I think immutable could benefit from a Value Range Propagation-like uniqueness
'unique' has been proposed and heavily discussed before in the news group. There even is std.typecons.Unique. Unfortunately, Walter has stated that there are issues/difficulties in adding 'unique' to the language.
