The lively arts of the London stage, 1675-1725