Expansion rules for access following triple-dot applicative.

This is a fix in relation to the upcoming examples, making expansion
semantics even more explicit as well as following the full character
of triple-dot when multiple packs are involved. This is something that
wasn't clear in the initial drafts; this addition makes human-eye parsing
simpler as well.
Changing order of appearance, range annotator wording.

It makes more sense to have the first examples be of specific to
just the size annotator in the syntax table instead of how they
were. Also, some clarifications on how range annotation offers
individual and by index range access. Another wording detail is
needed in order to make this completely clear in use context, after
the examples that are being prepared.
Essentially fixes #10

Properly defined what annotators, annotation and annotated actually
mean in the context of the draft. Some wording simplified, the next
thing should be to take care wording for equivalence relations like
issue #3.