Add paper data layout

This patchset adds contents to the section "Data layout" which describes the internal structure of the set in more detail.
> `the bucket _is_ an`, missing word here?
Nope, "the bucket an element $i$ is put" is the bucket, of which $i$
will be an element.