override public string ToString () { return this.GetType ().Name + " (" + GetValueAsLiteral () + ")"; }