Reference counted kind type.
Kind representation
Trait for values which contains kinded values which can be referred by name