Var class with  VarSym() subclass
additions to theory and corresponding modification of logic