public static Variable print(Variable v) { Console.WriteLine(v.toString()); return v; }
public override vBase substitution(Variable v) { x = v.toString(); return this; }
public override bool eq(Variable v) { return x == v.toString(); }
public override bool ne(Variable v) { return x != v.toString(); }
public override void add(Variable v) { x += v.toString(); }