[T] TypeKind

type TypeKind = Type["kind"] | "Any";

A semantic type kind, or "Any" to accept every kind in decorator validation.