Gets or sets the Label with trivia. Trivia: only parsed when TrackTrivia is enabled, otherwise Empty.
public StringSlice LabelWithTrivia { get; set; }