Switch to lvish 2.0; not building yet.
TRInfer typechecks.
TestInfer typechecks.
BoolVarTree compiles.