I have posted a blog about the state-of-the-art results in uniqueness. I discuss the paper by Haller/Odersky, where they present an extension to Scala. I would appreciate your vote on reddit: http://www.reddit.com/r/programming/comments/acsg8/unique_objects/