Change/higher kinded

This is the new higher-kinded scheme. 
We could but we need a couple of arithmetic operations on the value class. Not sure it would carry its weight. It's something to do later, maybe.