Add (optional) type information column to the table of symbols

[balacij]

Since type-checking is a bit more nitpicky now, should we show the types of symbols wherever we show units? Whenever we have a non-numeric type as well, we could probably drop the unit altogether too.

[smiths]

We probably don't want to clutter the document with always showing the type of symbols, but it would be great if the type showed up when we wanted it. A table of symbols that included type information would be really helpful.

[balacij]

Aha! That makes sense. :smile: Thank you @smiths

[JacquesCarette]

My "best guess" would be that we want to see the types whenever it's not Real, at least as a first approximation. If the units make it clear what type it has to be, then that would be redundant information.