add a definition of GA4GHReadSet