Added a section on box transfer and the legality of its various
fractional emulate varieties. Also moved some equivalence examples
around (which probably introduced some horizontal overflow).
Merge branch 'box_transfer_section_and_diagrams'
Re-ordered non-analogy section