added more first class quantifiers
Merge branch 'first_class_quantifier' into develop