Quantifiers can benefit from compiler-macros now.