Add unbalanced tree creation.
Fix up type sigs in BoolVarTree.
Fix unbalanced tree generation to produce valid trees.
Add unbalanced tree benchmarks.
Merge branch 'master' of https://github.com/iu-parfunc/subtyping-haskell

Conflicts:
	bench/run-benchmark.hs