Add Parser AST constructor EInfFrom to represent [x...] and [x,y...]

As a result, parsed terms including [x...] or [x,y...] now pretty-print
back out using the same syntax.