The Grove, or Rural Harmony, a variety of songs