now uses IndexSet for message uids and numbers