Add test cases for operators in evaluator such as 'some', 'all', 'set','vector'
Add quantifiers 'some' and 'all'