types

The aggregate types whose views are recorded: those some reader reads.