Add paper data layout

This patchset adds contents to the section "Data layout" which describes the internal structure of the set in more detail.
There's actually a short form of the formular statement.

On the sentence: I would not embed it into the formula, as this would bloat things up.