Scopeless quantifiers and operators