Edit README
Update README
Clearer parallels between the array and tree search code.
Edit README
Rename package.
Edit README
Rename main source file.
Remove tree search code since there's no well-defined tree interface
Working on saturation arithmetic.
Merge branch 'master' into develop