Can/should we have uniqueness types in scala?(folone.info)

http://www.folone.info/scala/en/types/mutable%20state/2013/02/22/Uniqueness-Types-in-Scala.html