I did a bunch of formal changes, improved the first few paragraphs of
the or tree based search section, and corrected the spelling of my name