pub const TyKind: Symbol;