Improve representation of Variable
Finally fix SetBooleanFormula to use CanBuildFrom