Add paper data layout

This patchset adds contents to the section "Data layout" which describes the internal structure of the set in more detail.
We're getting a naming conflict here. The HT consists of buckets, but when
talking about the 'filled' buckets, we shouldn't call it `bucket`, too.