add quantification types