Quantification over expression types in linguistic theory can be systematically paraphrased away usi...