public override string ToString() { return("(" + f.ToString() + " " + x.ToString() + ")"); }
public override string ToString() { return("(" + basetype.ToString() + ": " + formula.ToString() + ")"); }