public override string ToString() { string tname = TokenTypes.TokenName(Type); return($"<'{Text}',{tname}>"); }