Switch `<>` back to `[]`

Here we go.

Thoughts?
That’s… not much of a detailed design. How about saying something like “in type parameter lists, replace `<` with `[` and `>` with `]`.” and giving examples of `T<U, …>` and `f::<T, …>()`?