For now return a list of environments from each of our boolvartree solutions
Add a failing test for lvish2
Add freeVars function
update submod