Without wanting to be too purist about what is and what is not a Folk song, do many songs we call Irish Folk songs have their origin in Irish Music Halls? If this is the case does an achive of such songs exist and does it contain lots more songs we may not have heard?