Change/higher kinded

This is the new higher-kinded scheme. 
The AndType case got removed in a subsequent commit. Type parameters now exist only for
classes and non-singleton proxies.