The songs, chorusses, &c. in The touchstone, or, Harlequin traveller [electronic resource] : An operatical pantomime. As it is performed at the Theatre-Royal in Covent-Garden