If you can distinguish, you can express: Galois theory, Stone--Weierstrass, machine learning, and linguistics