Support transformations on quantifiers (re #26)