more thoughts on compression
doc tweaks
doc for 'apply' function
tighten up inLd, inRd
equivalence (take hswap put = put swap take)
access to reversed list
preliminary work on AA-tree implementation for maps