List syntax

Maybe something like that
```R
quote(list(Head | Tail))
quote(list())
quote(list(element))
quote(all_ones(list(1)))
quote(all_ones(list(1 | Tail)) := all_ones(Tail))
```

Not sure if that kind of implies general higher order functions.