Literally dependent types in Scala?

Is it possible that this enhancement will become a part of standard Scala soon?
  http://existentialtype.net/2008/07/

Do you think it would be then possible to use 'symbolName.type to index type safe property bag based on HList?

Szymon