types+grammar: ch3 note about 'sparse array' terminology, per @ljharb