Finished the first draft of my exposé on RPerf

* more definitions
* saturated interpretation
* properties of derived stacks
* tangent complex
* odds and ends