Check in first draft of reading type generators