docs: for now we won't document atomic triples or total triples; de-experimentalize plainly and stuckness

docs: make the borders slightly larger, so that lines of text dont become so ridicolously long and are easier to read

copy the first half of the Iris appendix into the repository, so that we can keep the documentation in sync