Kind=Val|Type -> Kind=KVal|KType
Rename Set -> Type