Clarify the relationship between rank0 and rank1
Relaxed constraints by showing we can derive children using just Select1
Added an explicit conversion to just the bitstring for LOUDS.

This facilitates working with other representations