Module of assumeUnique

[biozic]

Sorry if this has already been discussed/fixed: should assumeUnique and 
pointsTo still belong in std.exception? I remember the module was name 
std.contracts but now this seems awkward...

Thanks.
Nicolas