first version of array + quantifier handling in front-end