reinvigorate mining

[Nnystyxx]

Is there any reason we use mauxite, molitz, and pharosium instead of calling it something like iron, glass, and copper? Seems like we moved away from fake names with the medical chems, so I was wondering why that's still like that for mining.

While we're at it, can it please be possible to actually make garden-variety 'metal'/steel? I don't like how constructed floortiles have to be nasty and discolored. Make it a mix of mauxite and char.

I'm ambivalent about these getting their old names for a number of reasons.
For it: More straightforward by far. Less snowflakey terms. Might get the iron standin to actually look like iron.
Against: I like the snowflakey terms, they have a certain charm. 'Glass' already exists as a material. 'Copper' does too. They'll have to be intermixed or have one replace the other.