pub type TermKind<'db> = TermKind<DbInterner<'db>>;
pub enum TermKind<'db> { Ty(Ty<'db>), Const(Const<'db>), }