Add support for typed kinds

[Kalin-Rudnicki]

given:

trait MyTypeClass[T <: TypeRestriction]

you can not specify :

K1.Generic[MyTypeClass]

This means if your type-class has a type restriction, now you can't derive using shapeless-3 anymore.

[joroKr21]

A step in this direction (although not there yet): #221