docs: cmpxchg orderings, refusal lists and opt-level spelling
docs: compiler runtime, lamina environment and current target behaviour
docs: environment axis, compiler runtime and current target state
docs: current targets, vectors and nightly gate
docs: describe ir as typed and block-based, not ssa
docs: cut filler wording
docs: add architecture and glossary page