UPDATED: As William Harvey points out below, there is recent progress!
Like you, I have an intense interest in the project, so I creep these pages every few weeks. :)
https://github.com/ingoem
http://lamp.epfl.ch/~imaier/
https://codereview.scala-lang.org/fisheye/user/imaier
https://lampsvn.epfl.ch/trac/scala/search?q=imaier