const fn tykind_discriminant<I: Interner>(value: &TyKind<I>) -> usize