Allow inbuilt variables as iterables in list and constraint comprehension

The following should be a valid statement:

```
ev check_binary(main: [e]):
enf e^2 - e = 0

enf check_binary([e]) for e in $main[0..3]
```