Extensive lists

ListLiteral ::= 
    "{" Expressions "}" |
    "{" "}"

Lists can be defined by simply enclosing a list of expressions of any form within braces:

PrimesList := {2,3,5,7,11,10+3,10+7}

The expressions are evaluated in sequence, and the list is elaborated with all the values resulting from these evaluations.