Dan Szymczak

This needs to be solved for #397 to be fixed, as half of the current "duplicate" symbols are actually symbols that need to be indexed at some variable.

@JacquesCarette I know you looked at this in a lot more depth recently, have you made any headway on how indexing should be handled particularly?

Alright, looks like we need to modify the design a bit. This information should be captured as it is extremely relevant, yet it's not "usable" information right now. This leads...

Alright, so 1, 2, and 3 all seem to be looking at supplementary (necessary!) information. These are non-trivial things we need to include. Number 4 should be pretty straightforward, we...