Allow expressions in atl formulae, such as<<1,2>> F (1.health < 2)

Be able to say "all players" in the path quantifiers, such that if i have 5 players, i don't have to say e.g<<1,2,3,4,5>> but instead be able to say<<\Sigma>>