Add paper data layout

This patchset adds contents to the section "Data layout" which describes the internal structure of the set in more detail.
I assume it must be `n_{Buckets}(h)-1` in here, as if we have _one_ bucket, we would say here that n is in [0, 1], which would be two buckets. ...