First step to consolidate information about the context in one section

This hopefully makes the spec easier to read as a number of definitions are now being defined before their first use.