updated ANY/ALL syntax, added FIRST/ARRAY to spec