Add paper data layout

This patchset adds contents to the section "Data layout" which describes the internal structure of the set in more detail.
Would change this to

```latex
n = h(i) \% s(H), i \in e(b_n)
```