pub type QuantKind = Spanned<QuantKind_>;