Review use of types/species/elements/symbols
Types, symbols, etc. are used interchangeably. We should address this and decide which terminology to use in order to be consistent and avoid confusion.
Example from !71 (merged):
-
@erhart started a discussion: Here is an example where the terms "symbol" and "type" are used interchangeably.