Improved some on type error diagnostics for aggregate indexing.