Push the BoolTree bench along.  It can get a timing now but since the first substitution works it doesnt have to search very far
Merge branch 'master' of github.com:iu-parfunc/subtyping-haskell