Update boolvartree to make it an error if we find or dont find a substitution when we should
Fix the search space sizes that boolvartree is run on
Merge branch 'master' of github.com:iu-parfunc/subtyping-haskell