public override string ToString() { return(Kind.FlagsToString() + " " + Name.Value + "(" + Number.ToString() + ")"); }