Function parse_bounded_quantifier 

fn parse_bounded_quantifier(cx: &mut ParseCtxt<'_>) -> ParseResult<Expr>

⟨bounded_quant⟩ := forall ⟨refine_param⟩ in ⟨int⟩..⟨int⟩ ⟨block⟩
                 | exists ⟨refine_param⟩ in ⟨int⟩..⟨int⟩ ⟨block⟩