Change/higher kinded

This is the new higher-kinded scheme. 
I think the parentTraitRefs from the implementation should be described in this comment, right?