type classes prototype

[Maurizio Cimadamore]

Hi all,
over the past few months we've been experimenting with an implementation 
of a type class feature along the lines of what Brian presented at last 
JVMLS [1]. This work is being added to the new "type-classes" branch as 
part of this PR:

https://github.com/openjdk/valhalla/pull/1886

While this is all still highly experimental, and a long way from being 
JEP-ready, we thought it might be worth sharing it here, as doing so 
will enable bleeding edge hackers (such as ourselves!) to carry out 
further experimentation, especially in the context of providing better 
support for new Valhalla-based numeric types [2].

More details on how the prototype works and which features it enables 
will be shared in due time, as we gather more experience with this 
feature. In other words, this is venue for experimentation, and NOT a 
proposal for inclusion in the Java platform, and any feedback should be 
providied while keeping that in mind.

Cheers
Maurizio

[1] - https://www.youtube.com/watch?v=Gz7Or9C0TpM
[2] - https://www.youtube.com/watch?v=xCdJb_zI5us