Pack ordering discussions must be simplified and made explicit.

[irrequietus]

This should make up the body of a section dealing with deducible context where mixed annotated and non annotated packs are present and how equivalent forms ensure this.