Indexed datatypes like vectors, where the indices come from a different syntactic category than program expressions.