pub fn bounded_quantification_ty() -> Expr
BoundedQuantification: ∀ X <: T. U (F-sub style bounded ∀)