Add an example generic version that uses compositional ring like operations
Delete the old list based boolvartree version
Factor helpers
Replace lvish2 with a compositional version
throw away lvish3 partial version
minor
Brainstorming the Wiring datatype
WIP: Remove the union type for results
Add LVish3 version.  Fix variouos warnings.
minor: deadcode
Merge branch 'ryan'

Conflicts:
	bench/BoolVarTree/BoolVarTree.hs