Add paper data layout

This patchset adds contents to the section "Data layout" which describes the internal structure of the set in more detail.
Isn't it `\rightarrow` instead of `\land`, as if A and B are not equal in size,
they are not equal?