Added LOUDS support
establish common vocabulary between Binary and LOUDS
consistency
Export Pos, explain preservation of invariants
consistency
Removed the LOUDS type synonym, as it was getting in the way of
experimentation with alternate storage structures
Bake the LOUDS structure into Pos, so it now acts as a zipper
Eq Pos
Zipper'ized Binary and Single. Finer grained Dictionary classes in prep
for LOUDS++
uniformly supply top
emphasize finiteness
move the laws to where they can actually be checked