[_ ; n]
This does NOT break any existing programs because the `[_, ..n]` syntax is also supported.
Key points are: 1. `a + b` maps directly to `Add<A,B>`, where `A` and `B` are the types of `a` and `b`. 2. Indexing and slicing autoderefs consistently.