Virtual traits for Scala

I am currently working on an implementation of virtual traits in Scala [Paper]. The implementation can be found on Github.