What is the distinction between a `Kind` and a `Type`? Between a `PrimitiveKind` and a `Kind`?