Change/higher kinded

This is the new higher-kinded scheme. 
Don't understand: we are looking for the symbols which this symbol overrides. Finality of the overriding symbol does not change anything.