Fixed the quantifier puller. It was still using the old version of type
denotations that took a type list as argumetns.