doc/ref/spec.md: revert to the old semantics of [k]: v
doc/ref/spec.md: revert to the old semantics of [k]: v

As it turns out, the old semantics is quite frequently used.
Even though it is not hard to simulate the old semantics with
the proposed new one, it is still inconvenenient.

We do need the more JSON Schema-like semantics, though, as it
is hard to simulate with the old semantics.

The idea is now to allow `[...K]: V` for pattern constraints
to be applied to "additional" fields. So now any constraint
that applies to additional fields uses `...`.

Another advantage is thats, as we have not yet made the
transition to the new semantics, this eliminates a possibly
painful transition.

Change-Id: Iebd2af03e4929d058e4f3134d77d2071ef3ee82e
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/7942
Reviewed-by: Paul Jolly <a027184a55211cd23e3f3094f1fdc728df5e0500@myitcv.org.uk>
Reviewed-by: CUE cueckoo <0f32a827c9a5f00281f936ac78b5ef3ba80a954c@gmail.com>

cuelang/cue