Do types make a language more expressive, or less?
In say, JS vs TS, have I made the language more expressive by adding a type system, or less?
More expressive --- I don't necessarily think so.
What types do is make language more precise and deterministic.