Type-lists, indexes, and concordances from computers